Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve rename lane command #7853

Merged
merged 5 commits into from
Aug 30, 2023
Merged

Improve rename lane command #7853

merged 5 commits into from
Aug 30, 2023

Conversation

NitsanCohen770
Copy link
Contributor


Enhancement of LaneRenameCmd Command Functionality

Description:

Building upon the changes made in the previous PR (#7852), this PR proposes updates to the LaneRenameCmd command:

  1. Re-evaluation of Required Parameters:

    • Current command definition:
      name = 'rename <current-name> <new-name>';
    • The necessity of the current-name parameter is being questioned. The idea is to streamline the renaming process by potentially omitting the need to specify the current name.
  2. Command Context:

    • This command is responsible for renaming a lane both locally and on the remote, provided the lane has been exported.
    • Definition:
      description = `EXPERIMENTAL. change the lane-name locally and on the remote (if exported)`;

The intention behind these updates is to refine and simplify the user experience when renaming lanes.


@davidfirst davidfirst merged commit dff6b6b into master Aug 30, 2023
@davidfirst davidfirst deleted the improve-rename-lane-command branch August 30, 2023 23:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants